3

Kolchin schemes

Giuseppa Carra' Ferro
Journal:
Journal of Pure and Applied Algebra
Year:
1990
Language:
english
File:
PDF, 1.57 MB
english, 1990
4

On superG-Bases

Giuseppa Carra'Ferro, Lorenzo Robbiano
Journal:
Journal of Pure and Applied Algebra
Year:
1990
Language:
english
File:
PDF, 831 KB
english, 1990
5

Ideals and graphs, Gröbner bases and decision procedures in graphs

Giuseppa Carra’ Ferro, Daniela Ferrarello
Journal:
Discrete Mathematics
Year:
2008
Language:
english
File:
PDF, 231 KB
english, 2008
6

Ideals, bifiltered modules and bivariate Hilbert polynomials

Giuseppa Carrá Ferro
Journal:
Journal of Symbolic Computation
Year:
2006
Language:
english
File:
PDF, 198 KB
english, 2006
8

Systems of nonalgebraic nonlinear ODEs

Giuseppa Carra’ Ferro
Journal:
Mathematics and Computers in Simulation
Year:
2001
Language:
english
File:
PDF, 135 KB
english, 2001
9

Gröbner bases and Hilbert schemes. I

Giuseppa Carrà Ferro
Journal:
Journal of Symbolic Computation
Year:
1988
Language:
english
File:
PDF, 728 KB
english, 1988
10

Differential Gröbner bases in one variable and in the partial case

G.Carra' Ferro
Journal:
Mathematical and Computer Modelling
Year:
1997
Language:
english
File:
PDF, 923 KB
english, 1997
11

A procedure to prove statements in differential geometry

Giuseppa Carrà Ferro, Giovanni Gallo
Journal:
Journal of Automated Reasoning
Year:
1990
Language:
english
File:
PDF, 324 KB
english, 1990
12

An extension of a procedure to prove statements in differential geometry

Giuseppa Carra' Ferro
Journal:
Journal of Automated Reasoning
Year:
1994
Language:
english
File:
PDF, 569 KB
english, 1994
15

Improved Kolchin–Ritt Algorithm

G. Carra'Ferro, V. P. Gerdt
Journal:
Programming and Computer Software
Year:
2003
Language:
english
File:
PDF, 54 KB
english, 2003